ידיעון לשנת הלימודים תשע"ח

Transcription

1 ידיעון לשנת הלימודים תשע"ח ירושלים, תשרי תשע"ח, ספטמבר 2017

2 תוכן העניינים מבוא טלפונים שימושיים במכללה 5 לוח השנה האקדמית 6 תכניות הלימודים בחוג 1 נהלים אקדמיים במכללה ובחוג 25 תקצירי המקצועות 2

3 מבוא החוג למדעי המחשב במכללה האקדמית הדסה מקיים תוכניות לימודים לקראת )א( בוגר במדעי המחשב, )ב( מוסמך במדעי המחשב. שני תארים: החוג פתח את שעריו בשנת תשנ"ו בפני המחזור הראשון של הסטודנטים, וראשוני הבוגרים סיימו את לימודיהם בשנת תשנ"ט. עד שנת הלימודים תשס"ב העניק החוג תואר B.A. במדעי המחשב, והחל משנת הלימודים תשס"ג מעניק החוג תואר B.Sc. במדעי המחשב. בשנת הלימודים תשס"ט, פתח החוג תוכנית לימודים לתואר M.Sc. במדעי המחשב. מאז הקמתו ועד היום, הכשיר החוג מאות רבות של בוגרים ובוגרות במדעי המחשב. בוגרי החוג נקלטו היטב בשווקי העבודה בירושלים ובארץ. רבים מבוגרי החוג ממשיכים את לימודיהם לקראת תארים מתקדמים באוניברסיטאות בולטות בארץ ובחו"ל, וחלקם משתלבים בלימודים לתואר שני במכללת הדסה. תכניות הלימודים לשני התארים בחוג למדעי המחשב כוללות לימודי תוכנה ותכנות, לימודי חומרה ומערכות, לימודים מתמטיים, לימודי מדעי המחשב התיאורטיים, לימודי בחירה בנושאים מתקדמים במחשוב, פרויקטי גמר, ונושאים כלליים. כך נהנים הסטודנטים משילוב של כמה עולמות בסיס מוצק במתמטיקה ובמדעי המחשב התיאורטיים, הכרות מקיפה ומעמיקה עם תחומי התוכנה והחומרה של עולם המחשבים המודרני, ומגוון של קורסי העשרה אקדמיים. החוג מקפיד על יחס אישי לסטודנטים. בשל כך, זוכים הסטודנטים והמרצים להכיר אלו את אלו באופן אישי במהלך הלימודים. במקביל ללימודים הפורמאליים בכיתה, מוקדשות שעות רבות לתרגולים ולסדנות. המרצים והמתרגלים מקדישים מזמנם ושוהים במעבדות המחשבים מעבר לשעות ההוראה, דבר המאפשר לסטודנטים ללמוד מהידע של המרצים והמתרגלים באופן ישיר ומעמיק. לרשות הסטודנטים עומדות מעבדות מחשבים המתחדשות כל העת. הלימודים בחוג למדעי המחשב נמשכים שלוש שנים )ששה סמסטרים( וכוללים 10 נקודות זכות. סטודנטים יכולים ללמוד בהיקף חלקי, ולהאריך את לימודיהם לתקופה של יותר משלוש שנים )למשל, משום שהם עובדים בהיקף משמעותי(. סטודנטים שהינם הנדסאי תכנה, ועומדים בתנאי קבלה למסלול 'השלמה לבוגר' זכאים לפטור מעד עשרים נקודות זכות. בנוסף, מקיים החוג תוכנית לימודים לקראת התואר מוסמך במדעי המחשב. תוכנית זו מיועדת למועמדים בעלי תואר בוגר במדעי המחשב או בתחום מדעי או הנדסי קרוב, ונבנתה באופן המאפשר לאנשים העובדים בתחומי המחשבים לשלבה עם עבודתם. תוכנית לימודי המוסמך במדעי המחשב נמשכת בין שנתיים )ארבעה סמסטרים( לארבע שנים )שמונה סמסטרים( וכוללת 8 נקודות זכות.

4 טלפונים שימושיים במכללה (02) נשיא המכללה פרופ' ברטולד פרידלנדר (02) (02) דרך רכזת החוג (02) (02) (02) (02) (02) (02) (02) (02) (02) (02) (02) (02) (02) ראש המינהל האקדמי ראש ביה"ס למדעי המחשב ראש החוג למדעי המחשב ראש התוכנית לתואר שני ראש המסלול 'מחשבים ברפואה' בתואר השני רכזת החוג דיקן הסטודנטים יועצת הסטודנטים מנהלת מרכז אתגרים ראש מנהל הסטודנטים מדור רישום חשבת המכללה מדור שכר לימוד ראש המחלקה לאנגלית מנהלת הספרייה מנהל אדמיניסטרטיבי מודיעין ד"ר צחי מילגרום פרופ' מישל ברקוביאר ד"ר יורם ביברמן ד"ר סולנג' קרסנטי פרופ' מיכאל ברמן רוית דור ד"ר שמחה רוזן צופית חיים עפרה רותם יעל קטלן ליאת לוי מיה שרגא אסף מלקוש ד"ר נורית מלצר-פדון אריק רועי רם אסולין

5 לוח השנה האקדמית תשע"ח מכללת הדסה )קמפוס הנביאים( ראה: %D7%90%D7%A6%D7%9C%D7%A0%D7%95/%D7%9C%D7%95%D7%97- %D7%A9%D7%A0%D7%9- %D7%90%D7%A7%D7%9%D7%9E%D7%99/?nodeId=2018 5

6 תוכניות הלימודים בחוג 10 תיאור כללי של תכניות הלימודים בחוג תכניות לימודים למסלולים שהתחילו תואר בוגר תואר מוסמך בשנה"ל תשס"ט ואילך 6

7 תיאור כללי של תוכניות הלימודים בחוג מסלול הלימודים לתואר בוגר במדעי המחשב מסלול לימודים לקראת תואר בוגר במדעי המחשב המיועד לבעלי תעודת בגרות )או תעודה השקולה לה(. משך הלימודים המתוכנן במסלול זה הוא שלוש שנים )שישה סמסטרים(. מסלול זה כולל פרויקט גמר. היקף הלימודים במסלול 10 נ"ז. סטודנטים בעלי תואר 'הנדסאי תכנה', שעומדים בתנאי קבלה לתכנית 'השלמת הנדסאים' יוכלו ליהנות מפטור של 20 נ"ז מתוך הנ"ל. תחומי הלימודים במסלול לתואר בוגר במדעי המחשב תוכנה ותכנות: לימודי יסוד ולימודים מתקדמים הפרושים על פני כל שנות הלימודים. לימודים אלו הם חובה ונדרשים בהיקף זהה בכל מסלולי הלימודים. חומרה ומערכות: לימודי יסוד הפרושים על פני כל שנות הלימודים. לימודים אלו הם חובה ונדרשים בהיקף רחב במסלול הרגיל ובמסלול החרדי, ובהיקף מצומצם יותר במסלול ההשלמה מתמטיקה: לימודים מתמטיים יסודיים הנלמדים בשנת הלימודים הראשונה ובשנת הלימודים השנייה. לימודים אלו הם חובה ונדרשים בהיקף זהה בכל מסלולי הלימודים. מדעי המחשב התיאורטיים: לימודי יסוד ולימודים מתקדמים הפרושים על פני כל שנות הלימודים. לימודים אלו הם חובה ונדרשים בהיקף זהה בכל מסלולי הלימודים. בחירה במדעי המחשב: לימודים מתקדמים הנלמדים בשנת הלימודים השלישית. פרויקטים: ביצוע של פרויקט גמר במהלך הסמסטרים האחרונים של הלימודים. נושאים כלליים: כחלק מהתואר במדעי המחשב נדרשים מספר קורסי בחירה בנושאים כלליים. לימודים אלו ניתנים לפרישה על פני כל שנות הלימודים. מסלול הלימודים לתואר מוסמך במדעי המחשב תואר מוסמך: מסלול לימודים לקראת תואר מוסמך במדעי המחשב המיועד לבעלי תואר בוגר במדעי המחשב או בתחום מדעי או הנדסי קרוב. משך הלימודים המתוכנן במסלול זה הוא בין שנתיים )ארבעה סמסטרים( לבין ארבע שנים )שמונה סמסטרים(. תוכנית הלימודים במסלול זה נבנית באופן המאפשר לאנשים העובדים בתחומי המחשבים לשלבה עם עבודתם. מסלול זה כולל קורסי חובה, קורסי בחירה, סמינר, פרויקט גמר מחקרי ובחינת גמר מקיפה בסיום הלימודים. הערות כלליות לגבי כל מסלולי הלימודים א. ב. ניתן לקבל פטור מקורסים מסוימים או ממספר נקודות זכות על סמך לימודים קודמים. נהלים והנחיות לגבי פטור מקורס או מנקודות זכות מופיעים בתקנון המכללה. תוכניות הלימודים בחוג הן דינאמיות ומתעדכנות משנה לשנה. וועדת ההוראה של החוג למדעי המחשב רשאית לשנות ולעדכן את תוכניות הלימודים לפי הצורך הן את נושאי הלימודים השונים, הן את היקפי הלימודים השונים, והן את תוכניות הלימודים של כל שנה. 7

8 תואר בוגר )שלוש שנים(: הרכב התארים בחוג לפי נושאים נושאי הלימודים מתמטיקה מדעי המחשב התיאורטיים תוכנה ותכנות חומרה ומערכות בחירה מדעי המחשב וסמינר פרויקט גמר סה"כ מדעי המחשב נושאים כלליים סה"כ נקודות זכות תואר מוסמך )שנתיים(: נושאי הלימודים מדעי המחשב התיאורטיים חובה תוכנה ותכנות חובה חומרה ומערכות חובה בחירה מדעי המחשב פרויקט גמר סה"כ מדעי המחשב נקודות זכות

9 ש"ש עד 6 0 נ"ז נ"ז 5 תכנית הבוגר בחוג שנה א' ש"ש עד סמסטר א' הקורס כלים מתמטיים למדעי המחשב אלגברה ליניארית א' מתמטיקה דיסקרטית מבוא למדעי המחשב מערכות ספרתיות סדנה במתמטיקה א' אנגלית סה"כ סמסטר ב' הקורס חדו"א: פונ' של משתנה אחד אלגברה ליניארית ב' מבוא לתיאוריה של מדעי המחשב תכנות מודולארי מערכות חומרה תכנה ותכנות בשפת סף סדנה במתמטיקה ב' אנגלית סה"כ ש"ש עד 2 נ"ז שנה ב' סמסטר ב' הקורס ש"ש חדו"א: עקומות ומשטחים 2 + תורת ההסתברות אלגוריתמים 2 + תכנות מונחה עצמים ופיתוח 2+2+ משחקים מערכות הפעלה ותכנות 2+2+ בשפות סקריפטים קורס בחירה כללי א' 2 אנגלית 0 עד סה"כ 2 נ"ז סמסטר א' הקורס חדו"א: שימושים של האינטגרל וחישובים מקורבים מבנים אלגבריים מבני נתונים מבוא לתכנות מונחה עצמים והנדסת תכנה תכנות מערכת ומבוא לתכנות מקבילי כתיבה והצגה מדעית אנגלית סה"כ סמסטר א' הקורס אוטומטים ושפות פורמליות לוגיקה למדעי המחשב תכנות אינטרנט ושפת PHP תקשורת מחשבים קורס בחירה מדעי המחשב א' פרויקט גמר )שנתי( סמינר במדעי המחשב קורס בחירה כללי ב' סה"כ נ"ז שנה ג' סמסטר ב' הקורס ש"ש חישוביות ומורכבות חישובים מסדי נתונים תכנות אינטרנט ושפת Java ארכיטקטורות מחשבים קורס בחירה מדעי המחשב ב' פרויקט גמר )המשך( קורס בחירה כללי ג' 2 קורס בחירה כללי ד' 2 סה"כ 2 ש"ש נ"ז א. הקורסים 'כתיבה והצגה מדעית' ו-'סמינר במדעי המחשב' עשויים להילמד בסמסטר א' או ב'. ב. על כל סטודנט לצבור 8 נ"ז בקורסי הבחירה הכלליים מעבר לקורס 'כתיבה והצגה מדעית'. הצבירה עשויה להיות לאו דווקא ע"י ארבעה קורסים של 2 נ"ז כל אחד. ג. בקמפוס שטראוס יתקיימו גם שני סמטרי קיץ. שני קורסים בכל שנה ילמדו בסמ' הקיץ )ולא בסמ' א' או ב'(. 9

10 סטודנטים בעלי תואר הנדסאי תכנה סטודנטים ממסלול ההשלמה לבוגר, לומדים אותה תכנית כמו סטודנטים מהמסלול הרגיל, למעט הקורסים הבאים מהם הם פטורים: א. מערכות ספרתיות ) נ"ז( ב. מערכות חומרה תכנה ותכנות בשפת סף ) נ"ז( ג. תכנות מערכת ומבוא לתכנות מקבילי )5 נ"ז( ד. שני קורסי בחירה כלליים )סה"כ נ"ז( ה. סטודנט אשר יקבל בכל אחד מהקורסים 'מבוא למדעי המחשב' ו-'תכנות מודולארי' ציון של לכל הפחות 75, יהיה פטור מהקורס 'תכנות מונחה עצמים ופיתוח משחקים' )בהיקף 5 נ"ז(. סטודנטים שלא יקבלו פטור מקורס זה, יקבלו במקום זאת פטור מקורס בחירה אחד במדעי המחשב )בהיקף נ"ז( ומקורס בחירה כללי אחד נוסף )בהיקף 2 נ"ז(. סטודנטים ממסלול השלמה לא יזכו לפטור מפרויקט הגמר. 10

11 תכנית המוסמך בחוג סמסטר א' הקורס סיבוכיות חישובית בחירה מדעי המחשב א' בחירה מדעי המחשב ב' סה"כ נ"ז 9 שנה א' או שנה ב' סמסטר ב' הקורס ש"ש ניתוח ועיצוב מונחי עצמים פרוטוקולים ורשתות מחשבים בחירה מדעי המחשב ג' בחירה מדעי המחשב ד' סה"כ 9 נ"ז 12 ש"ש 12 סמסטר א' הקורס אלגוריתמים מתקדמים הנדסת תוכנה סמינר מדעי המחשב בחירה מדעי המחשב ה' סה"כ נ"ז 2 11 שנה ב' או שנה א' סמסטר ב' הקורס ש"ש ארכיטקטורות מחשבים מתקדם בחירה במדעי המחשב ו' פרויקט גמר 2 סה"כ 11 נ"ז ש"ש הערות: תכנית המוסמך כוללת שישה קורסי חובה: שניים בתחום התיאוריה של מדעי המחשב: 'סיבוכיות חישובית' ו-'אלגוריתמים מתקדמים'; שניים בתחום התכנה: 'הנדסת תכנה' ו-'ניתוח ועיצוב מונחי ו-'פרוטוקולים ורשתות 'ארכיטקטורות מחשבים מתקדם' עצמים'; ושניים בתחום המערכות: מחשבים'. ניתן לפרוש את תכנית הלימודים לתואר מוסמך בין שנתיים לארבע שנים. את שישה קורסי הבחירה יש לחלק בין שלושת התחומים הנ"ל: תיאוריה של מדעי המחשב, תכנה ומערכות. שישה קורסי הבחירה ייבחרו משלושה תחומי ידע: )1( תיאוריה של מדעי המחשב, )2( תוכנה ותכנות, )( חומרה ומערכות. יש ללמוד שני קורסי בחירה בכל תחום ידע. פרויקט הגמר יבוצע תחת הנחיה אקדמית ומדעית של חברי סגל החוג. בסיום הלימודים, תתקיים בחינת הסמכה המקיפה את כל תחומי הידע בתוכנית הלימודים. 11

12 נהלים אקדמיים הנהלים המופיעים להלן מבוססים על התקנון האקדמי של מכללת הדסה ועל תקנון החוג למדעי המחשב. הנהלים המפורטים להלן עשויים להשתנות ולהתעדכן על פי החלטות המכללה ו/או החוג. כל הנהלים כתובים בלשון זכר אך מתייחסים לזכר ולנקבה כאחד. וועדת ההוראה של החוג רשאית, לפי שיקול דעתה, לחרוג מהנהלים להלן. 12

13 חוג אקדמי חוג אקדמי הוא מסגרת המקיימת לימודים אקדמיים לקראת התואר בוגר ו/או מוסמך. מסלולי הלימודים בחוג למדעי המחשב החוג למדעי המחשב מקיים את מסלולי הלימוד הבאים: מסלול רגיל מסלול בן שלוש שנים של לימודים לתואר בוגר המיועד למועמדים המגיעים עם תעודת בגרות או תעודה השקולה לה )תלמידים בעלי תואר 'הנדסאי תכנה' ילמדו במסלול זה, ויזכו לפטור ממספר נקודות זכות(. מסלול מוסמך מסלול של שתי שנות לימודים לתואר מוסמך המיועד למועמדים המגיעים עם תואר בוגר במדעי המחשב או בתחום מדעי או הנדסי קרוב. קבלה ללימודים בחוג למדעי המחשב מועמד שעמד בתנאי הקבלה לאחד ממסלולי הלימודים בחוג למדעי המחשב, יתקבל לתוכנית לימודים מלאה במעמד של סטודנט מן המניין במסלול זה. מועמד שלא עמד בתנאי הקבלה של החוג, יוכל, במקרים חריגים, להתקבל לתוכנית לימודים מצומצמת במעמד זמני של סטודנט שלא מן המניין. מעמד זה מחייב את אישורה של וועדת הקבלה של החוג ותקף לשנת לימודים אחת בלבד. תוכנית הלימודים של הסטודנט לשנת לימודים זו תיקבע על ידי ראש החוג. בסיום שנת הלימודים ידון מצבו של הסטודנט בוועדת המעקב הפדגוגית של החוג. בהתאם להישגיו של הסטודנט יוחלט האם להעבירו למעמד של סטודנט מן המניין או להפסיק את לימודיו בחוג. תקופות הלימודים הלימודים בחוג למדעי המחשב מתקיימים בסמסטר החורף ובסמסטר האביב. בקמפוס שטראוס מתקיים גם סמסטר קיץ. בתום כל סמסטר מתקיימת תקופת הבחינות והגשת פרוייקטים. על הסטודנט ללמוד את המקצועות השונים לפי תוכנית הלימודים המתפרסמת על ידי החוג. נוכחות בחוג למדעי המחשב קיימת חובת נוכחות בלפחות 80% מהשיעורים של הקורסים הבאים: לימודי החובה באנגלית קורסי המיומנויות המדעיות סמינרים במדעי המחשב מרצה כל קורס רשאי לקבוע דרישת נוכחות בסילבוס הקורס, על-פי שיקול דעתו. סטודנט שחוזר על קורס בשל כישלון, מחויב בנוכחות ב- 80% מהשיעורים, אלא אם סילבוס הקורס פוטר מכך מפורשות. באחריות הסטודנט להחתים את המרצה בסוף כל שיעור על טופס נוכחות, ולהעביר את הטופס החתום למרצה בסוף הקורס. סטודנט שלא יעמוד בכך ייכשל בקורס. סטודנט שייעדר מעבר למכסת השעות המותרת, לא יוכל לעמוד בדרישות הקורס, וזאת ללא כל התראה מוקדמת. היעדרות מקורסים שבהם ישנה חובת נוכחות עלולה לגרור אחריה את פסילת הקורסים. מרצה רשאי שלא להכניס לשיעור סטודנט מאחר. 1

14 משקל קורס לכל קורס ניתן משקל אקדמי המתבטא בנקודות זכות. משקלו של קורס זהה לכל הסטודנטים הלומדים את הקורס בשנת לימודים מסוימת. משקלו של קורס עשוי להשתנות משנת לימודים אחת לרעותה. הקצאת נקודות זכות נעשית על ידי וועדת ההוראה של החוג. ככלל, מספר נקודות הזכות של קורס נקבע לפי היקף שעות ההרצאה והתרגול בקורס שעת הרצאה שבועית סמסטריאלית מזכה בנקודת זכות אחת, ושעת תרגול שבועית סמסטריאלית מזכה בחצי בנקודת זכות - אולם יש גם יוצאים מן הכלל. תכניות הלימודים לכל מסלול לימודים בחוג למדעי המחשב מוגדרת תוכנית לימודים הכוללת קורסי חובה וקורסי בחירה. כל קורס שייך לתחום לימודים )מתמטיקה, מדעי המחשב התיאורטיים, תוכנה ותכנות, חומרה ומערכות, בחירה במדעי המחשב וכדו'( ולשנה אקדמית במסלול. תוכניות הלימודים עשויות להשתנות לפי החלטות וועדת ההוראה. תוכניות הלימודים העדכניות מפורסמות בידיעון החוג בתחילת כל שנת לימודים. על סטודנט מן המניין ללמוד את הקורסים השונים לפי תוכנית הלימודים במסלול לימודיו. תיקבע עבורו תוכנית לימודים - סטודנט שלא יעמוד בתוכנית הלימודים במסלול לימודיו אישית. טופס לימודים רישום לקורסים בכל סמסטר נעשה באמצעות טופס לימודים. טופס הלימודים מהווה הצהרה של הסטודנט בדבר הקורסים שהוא מתכוון ללמוד במהלך הסמסטר. הצהרה זו מחייבת את הסטודנט לצרכים אקדמיים ולצורכי שכר לימוד. בתחילת כל סמסטר, יגיש כל סטודנט לאישור יועץ הלימודים טופס לימודים המפרט את תוכנית הלימודים שלו בסמסטר הנדון. על תוכנית הלימודים לעמוד בתנאים הבאים: הקורסים שייכים לתכנית הלימודים של המסלול בו לומד הסטודנט. הסטודנט עומד בדרישות הקדם של כל הקורסים הנכללים בתכנית הלימודים. תכנית הלימודים עומדת בתנאי מינימום כפי שיקבעו על-ידי יועץ הלימודים. במידה ותכנית הלימודים כוללת קורסים השייכים לשנים אקדמיות שונות במסלול הלימודים של הסטודנט הפער בין השנים האקדמיות אליהן שייכים הקורסים אינו עולה על שנה אחת. סטודנט שתוכנית לימודיו הוכתבה על-ידי ראש החוג או על-ידי וועדת המעקב הפדגוגית, יגיש טופס לימודים המפרט את התוכנית המוכתבת. כל שינוי בתוכנית הלימודים של הסטודנט דורש אישור יועץ לימודים. בקשה להורדה או הוספה של קורס לתוכנית הלימודים יש להגיש ליועץ הלימודים עד סוף השבוע השלישי בכל סמסטר. באחריות הסטודנט לוודא כי הבקשה אושרה על ידי היועץ. נשירה מקורס סטודנט יוגדר כמי שנשר מקורס אם החל ללמוד את הקורס, לא קיבל את אישור יועץ הלימודים להורדת הקורס, ולא עמד בחובות האקדמיים בקורס כפי שפורסמו על ידי מרצה הקורס בתחילת הסמסטר. ציונו הסופי של הסטודנט בקורס ממנו נשר יהיה אפס. 1

15 הערכת הישגים כדי לשפר את רמת לימודיו של הסטודנט וכדי להעריכה, מוטלות על הסטודנט מטלות שונות, ובכלל זה תרגילים, עבודות, פרוייקטים, בחנים תקופתיים ובחינות מסכמות. המטלות האקדמיות הנדרשות בכל קורס יפורסמו בסילבוס הקורס שיחולק על ידי המרצה בתחילת הקורס. סטודנט לא יורשה לגשת לבחינה מסכמת של קורס אם לא עמד בכל החובות שנקבעו כדרישות חובה לזכאות לבחינה המסכמת. סטודנטים שאינם זכאים להיבחן יקבלו על כך הודעה מהחוג. סטודנט שאינו זכאי לגשת לבחינה מסכמת ייחשב כמי שנשר מהקורס )כלומר, ציונו הסופי בקורס יהיה אפס(. כדי לקבל ציון "עובר" בקורס בו מתקיימת בחינה מסכמת, חייב הסטודנט לקבל ציון "עובר" בבחינה המסכמת. הציון הסופי )הכולל שקלול מטלות נוספות כפי שהוגדר בסילבוס הקורס( יחושב רק עבור סטודנטים שקיבלו ציון "עובר" בבחינה המסכמת. ציונו הסופי בקורס של סטודנט שלא עבר את הבחינה המסכמת יהיה ציון הבחינה. פטור מהגשת תרגילים ופרוייקטים, בעקבות מילואים או מחלה, יינתן על-ידי מרצה הקורס כנגד אישורים בכתב. פטור חריג יינתן רק לאחר פנייה בכתב של הסטודנט אל המרצה. על המרצה להעביר את הפנייה בצירוף המלצותיו לאישורו של ראש החוג. בחינות מסכמות ומעבר קורסים ציוני "עובר" בבחינה מסכמת ציון "עובר" בבחינה מסכמת של קורס לתואר בוגר הוא 55. ציון "עובר" בבחינה מסכמת של קורס לתואר מוסמך הוא 60. ציוני "עובר" בקורסים ציון "עובר" בקורס לתואר בוגר הוא 55. ציון "עובר" בקורס לתואר מוסמך הוא 60. הערה: סטודנט הרשום בתוכנית לימודים לקראת התואר בוגר, אשר לומד קורס מתוכנית לימודים של התואר מוסמך, יידרש לציון עובר של 60 בבחינה וציון עובר של 60 בקורס, כמו סטודנט הרשום בתוכנית לימודים לקראת התואר מוסמך. שלילת זכות להיבחן סטודנט שלא עמד במטלות הקורס, כפי שהוגדרו מראש בסילבוס הקורס, לא יורשה לגשת לבחינה בסיום הקורס. המרצה יודיע על כך לסטודנט ולראש החוג לא יאוחר משבוע לפני תום הסמסטר. מחברתו של סטודנט שניגש לבחינה למרות שלא היה זכאי להבחן לא תיבדק. 15

16 קורסים ציוני סגירת וסגירת ציוני שנה ציון בקורס יחשב סופי ללא זכות ערעור בפני הגשת המטלה האחרונה בקורס. מרצה הקורס, לאחר שחלפו חודשיים מיום הציונים של כל הקורסים שנלמדו בשנה אקדמית מסוימת יחשבו סופיים ללא זכות ערעור בפני ראש החוג לאחר 1 בדצמבר של השנה הקלנדרית בה הסתיימו לימודי הקורסים. התקדמות בלימודים סעיף זה מחליף את הסעיף "מעבר משנה לשנה" בתקנון המכללה. בסוף כל שנת לימודים תיבדק התקדמותו בלימודים של כל סטודנט. הבדיקה תתייחס לנתונים הבאים: הממוצע השנתי המשוקלל בכל הקורסים אליהם הסטודנט היה רשום בשנת הלימודים הנדונה. הממוצע השנתי המשוקלל של כל הקורסים אותם עבר הסטודנט בשנת הלימודים הנדונה. כמות נקודות הזכות שהסטודנט צבר )בקורסים שעבר( תוך התייחסות לתוכנית אליה היה רשום בשנת הלימודים הנדונה. סטודנט לתואר בוגר אשר אחד מהממוצעים השנתיים שלו המוגדרים לעיל נמוך מ- 65 או שכמות הנקודות שצבר נמוכה מדי מצבו האקדמי יידון בוועדת המעקב הפדגוגית לתואר בוגר של החוג. סטודנט לתואר מוסמך אשר אחד מהממוצעים השנתיים שלו המוגדרים לעיל נמוך מ- 75 או שכמות הנקודות שצבר נמוכה מדי מצבו האקדמי יידון בוועדת המעקב הפדגוגית לתואר מוסמך של החוג. תוצאות הדיונים בועדת המעקב הפדגוגיות של החוג יכולות להיות אחת מן השתיים: הפסקת לימודים או המשך לימודים על פי תוכנית לימודים המוכתבת על-ידי הוועדה. תוכנית מוכתבת יכולה לכלול גם חזרה על קורסים אותם הסטודנט עבר. תוכנית לימודים מוכתבת יכולה לכלול חזרה על כל תוכנית הלימודים אליה הסטודנט היה רשום בשנה הנידונה )כלומר, חזרה על שנת לימודים(. היעדרות ממושכת במהלך שנת הלימודים סטודנט אשר נאלץ להיעדר תקופה ממושכת מסיבה מוצדקת במהלך שנת הלימודים, נדרש לתאם זאת מראש או בהזדמנות הראשונה האפשרית עם ראש החוג, על מנת לקבל התאמות בתוכנית לימודיו ובחובותיו בקורסים השונים. סיבות מוצדקות להיעדרות ממושכת כוללות: שירות מילואים ממושך במיוחד, מחלה ממושכת, או סיבות אישיות חריגות אחרות לפי שיקול דעתו של ראש החוג. 16

17 סיום הלימודים וזכאות בוגר לתואר סטודנט שעבר את כל הקורסים להם היה מחויב במסגרת תוכנית הלימודים שנקבעה על-ידי וועדת ההוראה של החוג, יהיה זכאי מבחינה אקדמית לקבלת התואר בוגר במדעי המחשב. לא תתאפשר קבלת התואר לאחר יותר משמונה שנים מיום תחילת לימודיו של הסטודנט. סיום הלימודים וזכאות לתואר מוסמך סטודנט שלמד את כל הקורסים להם היה מחויב במסגרת תוכנית הלימודים שנקבעה על-ידי וועדת ההוראה של התואר השני, עמד בהצלחה בכל המבחנים והמטלות של הקורסים השונים בתוכנית, הגיש את פרויקט הגמר שלו וקיבל עליו ציון עובר, ועבר את בחינת ההסמכה של התוכנית יהיה זכאי מבחינה אקדמית לקבלת התואר מוסמך במדעי המחשב. לא תתאפשר קבלת התואר לאחר יותר מארבע שנים מיום תחילת לימודיו של הסטודנט. שימוש במשאבי המחשוב שימוש במשאבי המיחשוב של המכללה, לרבות מחשבים, רשתות, ציוד תקשורת, חומרה, תוכנה וקבצים )להלן "מחשב"( כפוף לתנאים שלהלן: 1. שימוש במחשב הינו אך ורק למטרות אקדמיות ולא לכל מטרה אחרת. 2. קוד השימוש במחשב או הסיסמה האישית )להלן - "הקוד"( ניתן לשימוש הסטודנטים בלבד. יש לשמור על סודיות הקוד ולא להעבירו לכל אדם אחר. הסטודנטים ישאו באחריות אישית לכל שימוש שייעשה בקוד האישי שלהם.. השימוש במחשב מותר אך ורק באמצעות הקוד שניתן לסטודנט ולא באמצעות כל קוד ו/או חשבון אחר.. חל איסור חמור להשתמש בקוד של אדם אחר, לצותת לקווי תקשורת נתונים או להתחבר בצורה כלשהי למשאבי מיחשוב של הזולת. 5. הסטודנטים חייבים להשתמש במחשב בהתאם להוראות החוק ולנהלי המכללה. יש להישמע להוראות הגורמים המוסמכים במכללה להימנע מכל פעולה, מעשה או מחדל העלול לגרום נזק למחשב, לנתונים או למידע המאוחסנים בו. 6. אין להשתמש במחשב המכללה בתוכנות אשר הועתקו שלא כדין ו/או אשר הגיעו לידי המשתמש בכל דרך שיש בה משום הפרת חוק זכויות יוצרים. 7. המכללה אינה אחראית כלפי הסטודנטים בכל דרך שהיא לגבי המידע, תוכנות, נתונים ו/או כל הנובע מהשימוש שנעשה במחשב ולא תישא באחריות ו/או אבדן שעלול להיגרם לסטודנט כתוצאה מהשימוש במחשב. 8. אין להשתמש במחשב המכללה לשם פריצה למערכות אחרות ו/או לשם השגת גישה בלתי חוקית אליהן. 9. הפרת התחייבות זו מהווה עבירת משמעת ואף עלולה להוות עבירה פלילית. 17

18 תקצירי המקצועות 26 שנה א' 2 שנה ב' 7 שנה ג' לימודי חובה 1 שנה ג' לימודי בחירה 8 לימודי בחירה כלליים 9 מוסמך לימודי חובה 51 מוסמך לימודי בחירה 18

19 שנה א' מבוא למדעי המחשב קוד הקורס: נקודות זכות שנה א' סמסטר א' אין תרגול + סדנה: ד"ר יורם ביברמן, ד"ר דבורה רוס, צבי מלמד מיכה ברניג, נורית קרטין שעות שבועיות + הוראת התכנות במכללת הדסה מתפתחת בהקבלה לאבולוציה שעבר עולם התכנות: היא מתחילה בתכנות בסיסי, עוברת לתכנות פרוצידוראלי, ממנו לזה המודולארי, ולבסוף לתכנות מונחה עצמים. בקורס זה נכיר את יסודות התכנות, ואת הגישה הפרוצדוראלית כפי שהיא באה לידי ביטוי בשפות.C/C++ כמו כן, כדרכו של קורס מבוא לתחום מדעי, נכיר על קצה המזלג סוגיות שונות בהן עוסק המדע הקרוי 'מדעי המחשב': מהו אלגוריתם? כיצד מעריכים את יעילותו? כיצד ראוי לכתוב כהלכה תכניות מחשב? כיצד מנהלת מערכת ההפעלה את הזיכרון המוקצה לתכנית? בכל בסוגיות הללו ניגע תוך שאנו פוסעים בנתיב התכנותי: כל שאלה תוצג בהקשר של תכניות להן היא רלוונטית. הנושאים הנלמדים: פקודות בסיסיות )קלט פלט cin[ ו-,]cout השמה(. פקודות בקרה )תנאים ולולאות(. מערכים. קבועים וטיפוסים ברי מניה. פונקציות, והשימוש בהן לכתיבת תכניות פרוצידורליות )כולל פרמטרי ערך ופרמטרי הפניה, ופונקציות המחזירות ערך(. תכנות תוך שימוש ברקורסיה. קבצים. בדיקת נכונותה של תכנית. הכרות עם מספר אלגוריתמים בסיסיים )מיון בועות, מיון הכנסה, מיון מהיר, מיון מיזוג, חיפוש סדרתי, חיפוש בינארי, מגדלי האנוי, בעיית שמונה המלכות(. הערכה אינטואיטיבית של זמן ריצה. אופן הקצאת הזיכרון לתכנית )על גבי המחסנית(. מערכות ספרתיות קוד הקורס: נקודות זכות שנה א' סמסטר א' אין ד"ר שמחה רוזן, ד"ר שמחה רוזן, דוד כהן שעות שבועיות כיצד נשמר מידע במחשב? איך המחשב מבצע פעולות בסיסיות? בקורס נכיר את אבני הבניין היסודיות של מערכות ממוחשבות. נלמד כיצד מידע מיוצג באופן בינארי ומיהם השערים הלוגיים הבסיסיים המאפשרים לנו לעבד מידע מכל סוג: מספרים, אותיות, מוסיקה, תמונות ועוד. בקורס ילמדו הנושאים הבאים: מספרים בינאריים ומערכות בינאריות: ייצוג מספרים בבסיסים שונים, ייצוג מספרים בשיטה הבינארית. ייצוג מספרים משלימים. שערים לוגיים. אלגברה בוליאנית ומשפטים בסיסיים. פונקציות בוליאניות: הצגה קנונית, הצגה סטנדרטית. לוגיקה צירופית: יחידות חשבון. לוגיקה סדרתית: יחידות זיכרון ותזמון. מתמטיקה דיסקרטית קוד הקורס: נקודות זכות שנה א' סמסטר א' אין תרגול: ד"ר ערן לונדון, ד"ר מלכה רוזנטל, ד"ר עידן טלשיר כנ"ל, הדסה שרביט, כנ"ל הקורס מתחיל ביסודות השפה המתמטית ומציג את כללי המשחק ואת המושגים הבסיסיים של לימודי המתמטיקה בפרט והתיאוריה של מדעי המחשב בכלל. הפרק הראשון, לוגיקה מתמטית מבהיר מהו פסוק מתמטי ומהו משפט מתמטי, מהי הוכחה מתמטית, ומהן דרכים אפשריות לבניית הוכחה. הפרק כולל את הנושאים הבאים: מבוא, תחשיב הפסוקים, הקשרים הלוגיים, שקילות לוגית, טאוטולוגיות וסתירות, הוכחה בדרך השלילה, קבוצות שלמות של קשרים, פסוקים בצורת CNF ובצורת.DNF תחשיב היחסים, הכמתים הלוגיים, שקילות לוגית. הפרק השני, תורת הקבוצות עוסק במושג המרכזי של הקורס ובשילובים שונים בין קבוצות. תחילה נראה שלא כל ביטוי מגדיר קבוצה )פרדוקס הספר(. אחר-כך נעסוק במושגים הבסיסיים ובפעולות הבסיסיות )קבוצה, איבר, תת- קבוצה, קבוצת החזקה, קבוצה אוניברסאלית, חיתוך, איחוד, משלים, הפרש סימטרי, מכפלה קרטזית(. נייצג קבוצות בכלים גרפיים באמצעות דיאגרמות וון. הפרק יחסים בינאריים פותח צוהר למספר כיוונים מרכזיים בלימודי המתמטיקה: הוא מאפשר להגדיר את יחס השקילות, את יחס הסדר )ומתוכו את מושג האינדוקציה( ואת הפונקציה )גרף של פונקציה, טווח, תחום, פונקציה חד-חד-ערכית, פונקציה על, הרכבה של פונקציות, פונקציה הפיכה, תמורות, פונקציות אופייניות(. המושגים הללו גם יאפשרו לנו להגדיר גודל של קבוצה. 19

20 בפרק קומבינטוריקה נעסוק בגדלים של קבוצות. נבין איך ילד יודע למנות )ולחשב גודל של קבוצה( ובעקבותיו נעשה זאת גם אנו. נפגוש בעקרון שובך היונים ונחשב את מספר הדרכים שבהן יכול שומר המעילים במלתחת התיאטרון להשיב לקבוצת אנשים את מעיליהם כך שלא יהיה אפילו חבר אחד בקבוצה שיחזור הביתה עם מעילו שלו )שיטות מנייה, משפט הבינום, זהויות קומבינטוריות, עיקרון ההכלה וההדחה(. נקודות זכות קוד הקורס: כלים מתמטיים למדעי המחשב )מבוא לאנליזה( שנה א' סמסטר א' אין תרגול: ד"ר לור ברתל, ד"ר פרידה ריבינקובה, ד"ר ניסים הראל ד"ר רוס דבורה, לאה באט, אלון גולדמן זהו קורס ראשון בסדרה של קורסים מתמטיים. הוא מתמקד בכלים המתמטיים הנדרשים לתיאור אובייקטים גיאומטריים במישור ובמרחב ובמושגים הבסיסיים של פונקציות. גיאומטריה אנליטית במישור ובמרחב: וקטורים, מכפלה סקאלרית, מכפלה וקטורית, ישרים ומישורים. משוואות ותכונות בסיסיות של שניוניות. מספרים מרוכבים: הגדרות ותכונות בסיסיות, המישור של גאוס, הצגה קוטבית, שורשי היחידה. פונקציות: תכונות בסיסיות, גרף של פונקציה, הזזות של גרף, הרכבה של פונקציות. גבולות של פונקציה: הגדרה אינטויטיבית בעזרת דוגמאות נומריות וגרפיות, חישובים של גבולות של פונקציות רציונליות תוך שימוש בחלוקת פולינומים. נגזרת: הגדרה, משמעות וחוקי גזירה. אלגברה ליניארית א' קוד הקורס: נקודות זכות שנה א' סמסטר א' אין תרגול: ד"ר אריה יקיר, ד"ר דבורה כהן, ד"ר אריה יקיר מתן טל, כנ"ל, מתן טל זהו קורס בסיסי במתמטיקה, שמקורו בפתרון מערכות משוואות ממעלה ראשונה במספר כלשהו של נעלמים. החומר שנלמד בקורס זה הוא חומר חיוני להמשך הלימודים במתמטיקה ובמדעי המחשב. נלמד להתעסק עם כלים מתמטיים בסיסיים במו מטריצות, קואורדינאטות, טרנספורמציות )סיבובים שיקופים, הטלות וכולי(. הנושאים הנלמדים: שדות. מערכת משואות ליניאריות מעל שדה. מטריצות. פעולות אלמנטאריות וכפל מטריצות מעל שדה ומעל חוג. הדטרמיננטה של מטריצה. מרחבים וקטוריים: תת-מרחבים, בסיסים, מימד, מרחב שורות ומרחב עמודות של מטריצה, וקטור קואורדינאטות. העתקות ליניאריות: גרעין ותמונה, אריתמטיקה של העתקות ליניאריות, ייצוג של העתקה ליניארית בעזרת מטריצה, תכונות ההצגה. אינטרפולציה שלLagrange. הדטרמיננטה כפונקצית נפח. סדנה במתמטיקה א' קוד הקורס: ללא נקודות זכות שנה א' סמסטר א' אין הנחיה: רונית כץ, לאה באט, אריה יקיר הסדנה מסייעת לסטודנטים להתמודד עם אופייה של המתמטיקה הפוסט-תיכונית. הדגשים בסדנה הם על מושג ההוכחה במתמטיקה, על שימוש נכון בשפה המתמטית, ועל טכניקות שונות לפתרון בעיות. תכנות מודולארי תרגול + סדנה: קוד הקורס: נקודות זכות שנה א' סמסטר ב' מבוא למדעי המחשב ד"ר יורם ביברמן ד"ר דבורה רוס, צבי מלמד מיכה ברניג, נורית קרטין, מיכה ברניג שעות שבועיות + הקורס מהווה המשך ישיר של הקורס מבוא למדעי המחשב. ככזה הוא ממשיך את המסע האבולוציוני התכנותי לפרדיגמה המודולארית, ואל סיפו של התכנות מונחה העצמים. במדעי המחשב כמדע נוגע הקורס עת הוא דן במבני נתונים שונים: במיוחד רשימות ועצים )כמובן מכיוון תכנותי( וביעילותם; ובאלגוריתמים קלאסיים. הקורס מרחיב בנושא תפקידם של המצביעים בשפת סי )לשם הגדרת מערכים דינאמיים, רשימות, עצים, ותכנות גנרי, פולימורפי(. הקורס מרחיב בנושא 'תכנות כהלכה', כולל מעט על בדיקה של תכניות, וכתיבת ספריות. 20

21 הנושאים הנלמדים: טיפול בקבצים חיצוניים )פתיחה\סגירה לקריאה\כתיבה, מצביעי,get/put קריאה וכתיבה על-גבי אותו קובץ בו זמנית(. הקצאה דינאמית של מערכים )כולל: הגדרה, הקצאת זיכרון דינמית, שחרור זיכרון, אריתמטיקה של מצביעים, ההבדלים בין זיכרון סטטי לדינמי, העברה/החזרה של מצביעים מפונקציות, מצביע למצביע( מבנים. רשימות מקושרות )כולל מיון מיזוג של רשימות, טיפול ברשימות באמצעות מצביע למצביע(. עצים בינאריים )בעיקר עצי חיפוש בינאריים, כולל הכנסה, חיפוש, מחיקה, ואלגוריתמים שונים על עצים(. מצביעים לפונקציות )וכתיבת.)callback functions מצביעים גנריים )* )void ושימושיהם לכתיבת תכניות פולימורפיות בשפת C )גם בעזרת מצביעים לפונקציות(. חלוקת תוכנית לקבצים, הצהרה לעומת הגדרה, הנחיות מהדר,)preprocessor( ושימוש ב-.makefile תהליך ההידור והכריכה linking( )compilation and ב- C. מרחבי שמות. טיפול בחריגות. נושאים שונים: מחרוזות ב- ++C, function,inline functions typedef,sizeof,assert,overloading ספריות: ספריות סטנדרטיות של C, בנייה והוספה, ספריה סטאטית ודינמית. שימוש בספריה. שיטות לבדיקת תוכנה )כדוגמת.argc/argv,scanf/printf.)valgrind פונקציות תבניתיות functions(.)template כלי תכנות ב-,Linux כולל מנפים.)debuggers( נקודות זכות קוד הקורס: מערכות חומרה, תכנה ותכנות בשפת סף שנה א' סמסטר ב' מערכות ספרתיות דוד כהן, מיכל גולדשטיין, דוד כהן שעות שבועיות כאשר המהירות חשובה להצלחת המערכת במשחקים, עיבוד סרטים, ציוד רפואי, רובוטים התאמת התוכנה לחומרת המחשב היא מרכיב קריטי בתכנון. בקורס הזה נלמד להתייחס למחשב ה- PC בשפה שלו ונכיר דרכי התערבות בין התכנות בשפת C לבין ריצת התוכנה על החומרה. הנושאים הנלמדים: מבוא לארגון המחשב ומיקרו-מעבדים, מבנה,Von Neumann הירארכיה של תוכנה, מבנה פקודות ושפת מכונה, אוגרים, שיטות מיעון, מחסנית, פסיקות, ניהול זיכרון. סקירה על המעבד 8086: תכנות בשפת סף, תרגום לשפת מכונה, מבנה תוכניות ריצה. שירותי מערכת הפעלה: קריאה ממקלדת, הצגה על מסך, גישה לקבצים, טעינה והפעלה של תוכניות. ניתוח תוכניות בשפת C אחרי קומפילציה: מסגרת נתונים, משתנים דינמיים, פונקציות, העברת פרמטרים, רקורסיה. סקירה על IA-2 )מבנה למעבדי,)2/6-bit Intel תכנות בשפת סף -2 C. בסביבת לינוקס, חיבור פונקציות שפת סף לתוכניות שפת bit מבוא לתיאוריה של מדעי המחשב )מת' דיסקרטית ב'( קוד הקורס: נקודות זכות שנה א' סמסטר ב' מתמטיקה דיסקרטית תרגול: ד"ר ערן לונדון, גילי שול, ד"ר עידן טלשיר כנ"ל, איילת אמסלם, כנ"ל בקורס פרקים שונים העוסקים בנושאים בסיסיים של מדעי המחשב המודרניים. הקורס מקנה לסטודנט הצצה לתחומים השונים ובונה בסיס איתן לקראת המשך הלימודים. 1. מושג האינסוף. מה משמעותו? האם יש יותר מאינסוף אחד? האם יש אינסוף "קטן ביותר"? האם לכל אינסוף יש אינסוף ה"גדול ממנו"? במהלך הדיון נציג את המושגים הבאים: קבוצות אינסופיות, קבוצות בנות מנייה, שיטת הליכסון של קנטור, עוצמה של קבוצת החזקה )משפט קנטור(, משפט ברנשטיין-שרדר. 2. תורת גרפים. נייצג בעיות שונות באמצעות גרפים וננסה ונפתור אותן בצורה כללית. בין השאלות שבהן נעסוק: איך ניתן להציג את מפת העולם בצורה בהירה תוך שימוש במספר קטן של צבעים? מה הטריד את Euler כאשר יצא לטייל בעירו? איך אפשר לסייע לדור הצעיר בעולם השידוכים? האם ניתן להבטיח שרשת האינטרנט תעביר הודעות במהירות, ואיך? כמה כבישים צריכה עיריית ירושלים לתחזק כדי שאפשר יהיה להגיע ברכב ממרכז העיר לכל צומת בעיר? המושגים הטכניים שבהם נפגוש כוללים את הבאים: הגדרות )קדקוד, צלע, גרף פשוט, גרף מכוון, מסילה, מעגל, מעגל פשוט, מצולע, רכיב קשירות, גרף קשיר(, עץ, יער, מספר הצלעות והקדקודים בעץ, גרף מישורי, נוסחת אוילר לגרף מישורי, צביעה של גרף, מספר צביעה, שידוכים בגרפים, משפט החתונה של.Hall. מבוא לתורת ההסתברות הבדידה. נבין איך מתקשרת תורת ההסתברות לפעולות יום-יומיות: איך מתכננים סקר דעת קהל ומה אמינותו? איך אפשר לשחק פוקר דרך רשת האינטרנט? האם אפשר להטיל מטבע בצורה הוגנת כאשר השותף הוא רמאי? האם סטודנט עם ממוצע ציונים גבוה יותר מאשר סטודנט אחר הוא גם סטודנט טוב יותר? האם ואיך ניתן להבטיח שרשת האינטרנט לא תקרוס כאשר קווי תקשורת אחדים ייקרעו? נפגוש במושגים המקצועיים הבאים: מרחבים בדידים, אי-תלות והסתברות מותנה, משתנים מקריים ותוחלת, התפלגות ושונות, אי-שיוויונים יסודיים.. קצב גידול של פונקציות. איך קובעים שאלגוריתם מסוים יעיל יותר מאלגוריתם אחר? מה באמת אפשר לעשות עם המחשב? האם מספיק להיות תכנת טוב כדי לפתור כל בעיה? נגדיר ונעסוק במושגים הבאים: סדרי גודל של פונקציות וטורים, סימונים אסימפטוטיים, פתרון מקורב של נוסחאות נסיגה. 21

22 נקודות זכות קוד הקורס: חדו"א: פונקציות של משתנה אחד תרגול: שנה א' סמסטר ב ' כלים מתמטיים למדעי המחשב ד"ר לור ברתל, ד"ר פרידה ריבינקובה, ד"ר ניסים הראל ד"ר רוס דבורה, גיל שול, אלון גולדמן הקורס מציג לסטודנטים את הרעיונות המרכזיים של האנליזה ומראה איך ניתן בעזרתם לחקור תכונות של פונקציות. המספרים הממשיים: תכונות של הממשיים, קטעים, ערך מוחלט, חסם עליון, חסם תחתון. השוואה בין מושג המספר במתמטיקה ובתכנות. גבול של פונקציה: איך ניתן להבטיח כי הפלט של הפונקציה נמצא בטווח רצוי תוך שליטה בקלט? נראה איך ההגדרה הפורמאלית של הגבול היא התשובה המתמטית לבעיה החישובית הזו. פונקציות רציפות וגזירות בקטע: נראה מה ניתן ללמוד על פונקציה מהגבולות והנגזרת שלה. משפט ערך הביניים ומשפטי וויארשטראס. משפט רול, משפט לגרנג', חקירת פונקציות )תחומי עליה וירידה, נקודות קיצון, קמירות, אסימפטוטות(, כלל לופיטל. פונקציות מונוטוניות. משפטים על פונקציות הפוכות, פונקציות הפוכות טריגונומטריות, פונקצית הלוגריתם והפונקציה המעריכית(. אינטגרלים: האינטגרל המסוים, האינטגרל הלא מסוים, והקשר בניהם. אלגברה ליניארית ב' קוד הקורס: נקודות זכות שנה א' סמסטר ב ' אלגברה ליניארית א' תרגול: ד"ר אריה יקיר, ד"ר דבורה כהן, ד"ר אריה יקיר מתן טל, כנ"ל, מתן טל קורס זה הוא המשך ישר לקורס אלגברה ליניארית א. הנושאים שנסה בקורס זה: ערכים עצמיים ווקטורים עצמיים. לכסון מטריצות ואופרטורים. מרחבי מכפלה מעל הממשיים ומעל המרוכבים. בסיסים אורתונורמליים ותהליך.Gram-Schmidt גאומטריה של מרחבי מכפלה פנימית. פיתוח.Fourier קירוב טוב ביותר בתת-מרחב נוצר סופית. לכסון אוניטרי של אופרטורים ושל מטריצות. מטריצות הירמיטיות, מטריצות אוניטריות ומטריצות סימטריות. תבניות ביליניאריות ותבניות ריבועיות. תבניות חופפות ולכסון תבניות. ללא נקודות זכות קוד הקורס: סדנה במתמטיקה ב' שנה א' סמסטר ב ' אין ד"ר גילי שול, ד"ר גילי שול, ד"ר אריה יקיר הנחיה: הדגשים בסדנה הם על מושג הסדנה מסייעת לסטודנטים להתמודד עם אופייה של המתמטיקה הפוסט-תיכונית. ההוכחה במתמטיקה, על שימוש נכון בשפה המתמטית, ועל טכניקות שונות לפתרון בעיות. 22

23 מבוא לתכנות מונחה עצמים והנדסת תוכנה תרגול + סדנה: שנה ב' מבוא למדעי המחשב, תכנות מודולארי, מבני נתונים )השתתפות( רחל שפירא, רחל שפירא, צבי מלמד יחזקאל ברנט, רותי ברנשטיין, הלל גריינמן קוד הקורס: נקודות זכות שנה ב' סמסטר א' שעות שבועיות +2 כיצד מפתחים יישומים רחבי היקף ומורכבים? כיצד דואגים שהיישומים יהיו שלמים וכלליים? מה המפתח לתכנות ברור ונוח לתחזוקה? תשובות לשאלות אלו הן הבסיס לתכנות מונחה עצמים והנדסת תוכנה. הקורס יעסוק בלימוד העקרונות תוך יישומם בשפת ++C. הקורס ילווה בדוגמאות ותרגילים של יישומים מלאים על מגוון מרכיביהם: מבני נתונים, אלגוריתמים, בינה מלכותית, ממשק, גרפיקה, אבטחת מידע, ביצועים ועוד. הקניית העקרונות, בסמסטר זה, תהיה בעיקר סביב הכלים של מחלקות, ירושה, פולימורפיזם, דיאגראמות,UML ומבוא לתבניות עיצוב. תכנות מערכת ומבוא לתכנות מקבילי תרגול + סדנה: מבוא למדעי המחשב, תכנות מודולארי, מערכות חומרה תכנה ותכנות בשפת סף' קוד הקורס: ד"ר יורם ביברמן, מיכל גולדשטיין, ד"ר אודי קונלי תמר באש, תמר באש, דוד ספינדל 5 נקודות זכות שנה ב' סמסטר א' שעות שבועיות +2 כיצד ניתן לכתוב תכנית אשר קוראת נתונים משני מקורות בו זמנית? או באופן כללי: מבצעת מספר משימות במקביל ובצורה מתואמת אלה עם אלה? כיצד יראה עולם התכנות בעידן בו המעבד כולל מספר ליבות? כיצד ניתן לעשות שימוש מועיל בליבות הרבות? הקורס כולל שני חלקים: מרכיב תכנותי הכולל היכרות נרחבת עם קריאות המערכת calls( )system של,Unix ועם כלים לתקשורת בין תהליכים ותהליכונים,)IPC( ומרכיב תיאורטי הדן ביסודות מערכת ההפעלה, ובמושגי התהליך והתהליכון.)thread( נושאים שילמדו: מבוא למערכות הפעלה. נושאים בארכיטקטורה הרלוונטיים למ.ה. )בפרט פסיקות(. מרכיבים של מ.ה. תהליכים )כולל יצור תהליכים ב- Unix :.)fork(), exec() תקשורת בין תהליכים ב- Unix signal, pipes, (.)pthreads כולל ספריית,threads( פתילים )named pipes, message queues, sockets, shared memory תזמון המעבד )בפרט ב-.)Linux סינכרון בין תהליכים )בפרט סמפור בתיאוריה, ב- Unix, וב-.)pthreads טיפול בחסימות הדדיות. פרדיגמת התכנות המקבילי: אפשרויות ואתגרים. מבני נתונים תרגול: נקודות זכות 2 קוד הקורס: אלגברה ליניארית א' + ב' מתמטיקה דיסקרטית, מבוא לתיאוריה של מדעי המחשב ד"ר ערן לונדון, ד"ר גילי שול, אפי נפתלי, איילת מזרחי, אסתר מייזל, יהודה קרלינסקי שנה ב' סמסטר א' נעסוק בדרכים לייצג מידע במחשב בצורה יעילה, כך שפתרון בעיות יהיה מהיר וחסכוני. כך נפגוש במחסניות, תורים, רשימות מקושרות, עצים מושרשים, ערמות ותורי קדימויות. הקורס יכלול את הנושאים הבאים: בעיית המיון: איך ניתן למיין מערך של נתונים בצורה נוחה ומהירה? נפגוש בפתרונות שונים )ולעיתים משונים( המתאימים לבעיות שונות: מיון הכנסה, מיון בחירה, מיון ערמה, מיון מיזוג, מיון מהיר. נפגוש בחסמים תחתונים למיון. נעסוק בתוחלת זמן הריצה של מיון מהיר. נסיים במיונים ליניאריים: מיון מניה, מיון בסיס, מיון דלי. בעיית החיפוש במבנה נתונים דינמי: איך ניתן לייצג במחשב ספר טלפונים )"ענק"( המתעדכן כל העת ולחפש בו בצורה מהירה? נפגוש בעצי חיפוש בינאריים ובפרט בעצים מאוזנים )כדוגמת עץ אדום-שחור(. מהו מבנה הנתונים המתאים לניהול מאגר "קטן" של פריטים בלתי צפויים )כדוגמת מאגר החדרים של רשת מלונות אשר צריך להיות מסוגל להכיל כל מבקר אפשרי(? נפגוש בטבלאות גיבוב ופונקציות גיבוב. נראה איך ניתן לאגור אנציקלופדיה שלמה על DVD כך שזמן החיפוש של כל ערך יהיה קצר )מאוד(. מהי הדרך היעילה לדחוס מידע כך שלא "יתפוס" הרבה מקום בזיכרון? על כך נענה באמצעות צופן הופמן. מהי הדרך הנוחה לטייל בעיר זרה כך שנכיר אותה בצורה מושלמת, ואיך זה מתקשר לתנועת גלים באגם ולפתרון חידות של מבוכים? על כך נענה באמצעות חיפוש לרוחב וחיפוש לעומק בגרפים. איך ניתן להבטיח השקעה מזערית בסלילת כבישים בלי פגיעה בזרימת התנועה בין כל שתי נקודות בעיר?

24 איך ניתן לחשב את המרחק בין כל שתי ערים בארץ, כאשר נתונים לנו רק אורכי הכבישים בין צמתים סמוכים? איך זה מתקשר לשוק המטבעות הבינלאומי? חדו"א: שימושים של האינטגרל וחישובים מקורבים קוד הקורס: נקודות זכות שנה ב' סמסטר א' חדו"א: פונקציות של משתנה אחד תרגול: ד"ר לור ברתל, ד"ר מלכה רוזנטל, משה פרץ רונית כץ, הדסה שרביט, כנ"ל שימושים של אינטגרל: בעזרת אינטגרלים ניתן לחשב נתונים גיאומטריים רבים, כגון השטח של תחום הכלוא בין עקומות או הנפח של גוף במרחב. נראה גם מתי ניתן להכליל את האינטגרל למקרים אינסופיים. חישובי שטח ונפח, נפח של גוף סיבוב. אינטגרלים לא אמיתיים. חישובים מקורבים: איך מחשב יכול לחשב sin x אם הוא יודע רק לחבר ולהכפיל? איך מחשבים את הערך שבו פונקציה מתאפסת אם אין לנו נוסחה? החלק השני של הקורס מתייחס לשאלות כאלה. נשתמש בתוכנות גרפיות ונומריות כדי להדגים את המושגים. סדרות: הגדרה, גבול, סדרת קושי, סדרות רקורסיביות. טורים: הגדרה, התכנסות טורים )בהחלט ובתנאי(, מבחני התכנסות, טורי לייבניץ. פולינומי טיילור. טור טיילור של פונקציה והתכנסות לפונקציה. טורי חזקות: הגדרה, רדיוס התכנסות, תחום התכנסות, גזירה ואינטגרציה של טור חזקות, הצגה של פונקציות אלמנטאריות כטורי חזקות, שימוש של טורי חזקות לחישוב ערכים מקורבים, למשוואות דיפרנציאליות. אנליזה נומרית: שיטת החצייה, שיטת ניוטון רפסון, שיטת האיטרציה, חישובים נמוניים של אינטגרלים בשיטת ניוטון קוטס )שיטת הטרפז, שיטת סימפסון(. נקודות זכות קוד הקורס: מבנים אלגבריים שנה ב' סמסטר א' כלים מתמטיים למדעי המחשב, אלגברה ליניארית א' + ב' שעות שבועיות ד"ר אריה יקיר, רונית כץ, ד"ר אריה יקיר בקורס זה נלמד נושאים מתמטיים הנחוצים להבנת סוגיות בתיאוריה של מדעי המחשב, בפרט באלגוריתמים, בהצפנה, ובקודים לתיקון שגיאות. הנושאים הנלמדים: חבורות: הגדרת חבורה ותת חבורה, החבורה הסימטרית, הומומורפיזם ואיזומורפיזם, הצגת תמורות, מסלולים, מחלקות ימניות ומחלקות שמאליות,חבורת מנה, המשפט היסודי של ההומומורפיזם. חוגים: הגדרת חוג ותת חוג, אידיאל, תחום שלמות, שדה, חוגי פולינומים, חוגים אוקלידיים, חוגים ראשיים, חוג מנה, בניית שדות סופיים. תורת המספרים: האלגוריתם של אוקלידס, קונגראנציה. משפט, Wilson משפט השאריות הסיני, שאריות ריבועיות, טרנספורם Fourier,Euler משפט,Fermat משפט דיסקרטי. 2 נקודות זכות קוד הקורס: כתיבה והצגה מדעית קבוצה 1 שנה ב' סמסטר א' אין הדרכה: רועי זאבי, ד"ר שמחה רוזן, ד"ר אריאל פירסטנברג כתיבה טכנית ומדעית הפכה להיות חלק בלתי נפרד מהעולם המקצועי של מדעי המחשב. מטרת הקורס היא לפתח מיומנויות כתיבה והצגה הנדרשות הן במהלך התואר והן בחיים המקצועיים לאחר סיום הלימודים. הקורס יתמקד בנושאים הבאים: קריאת מאמרים מתחום מדעי המחשב, אפיון הכתיבה המדעית, התמודדות עם קריאת מאמר והפיכת הקריאה ללימוד אקטיבי. מבנה המאמר המדעי, עקרונות הסיכום וההתנסות האקדמיים. חיפוש מושכל במאגרי מידע ומנועי חיפוש. בניית מצגות. במהלך הקורס נתרגל את המיומנויות השונות באמצעות כתיבת דוחות, בחירת מאמר והצגתו בפני הכיתה. 2

25 5 נקודות זכות קוד הקורס: תכנות מונחה עצמים ופיתוח משחקים תרגול +סדנה: מבוא לתכנות מונחה עצמים והנדסת תוכנה, מבני נתונים רחל שפירא, רחל שפירא, צבי מלמד יחזקאל ברנט, קרן אשחר, הילל גריינמן שנה ב' סמסטר ב' שעות שבועיות +2 משחק "פאק-מן", "חופר", "גנבים בעיר הגדולה", "למינגס" ועוד משחקי מחשב רבים אחרים הם דוגמאות לעולמות עם עצמים, פעולות, ויחסי גומלין ביניהם. יישומים מסוג זה מדגימים היטב את הרעיונות, העקרונות והאתגרים, הקיימים בתכנות מונחה עצמים. הקורס יעסוק בנושאים מתקדמים של תכנות מונחה עצמים כגון: תבניות, איטרטורים, שימוש בספריות קיימות ותבניות עיצוב. ההתנסות התכנותית תכלול יישומים מעולם משחקי המחשב המבוססים על מבני נתונים ואלגוריתמים הנלמדים בקורסים התיאורטיים. מערכות הפעלה ותכנות בשפות סקריפטים תרגול + סדנה: מבוא למדעי המחשב, תכנות מודולארי, מערכות חומרה ותכנה ותכנות בשפת סף, תכנות מערכת ומבוא לתכנות מקבילי תמר באש, מיכל גולדשטיין, ד"ר אודי קונלי רותי בורנשטיין, תמר באש, דוד ספינדל קוד הקורס: נקודות זכות שנה ב' סמסטר ב' שעות שבועיות +2 האם עת תכנית מורצת היא שוכנת בזיכרון המחשב? כיצד מנהלת מערכת ההפעלה את הזיכרון הראשי? כיצד מאורגנים הנתונים בדיסק? מהו מדריך )מחיצה,?)directory כיצד ניתן לדאוג שגם אם הדיסק קרס תוכנו של הקובץ לא יאבד? מה קורה עת ממפים קובץ לזיכרון? מה קורה עת אנו מדליקים את המחשב? על שאלות אלה ואחרות יענה הקורס. נושאי הלימוד: ארגון הזיכרון הראשי )כולל:.)swapping, paging, segmentation, demand-paging מערכת הקבצים )כולל,NFS מ.ק. מבוססות יומן(. ניהול הדיסק ותזמונו. גוש עליה. ניהול שטח השחלוף. מיטמון וחציצה. מערכי דיסקים.)RAID( מערכות קלט\פלט )ברמה התיאורטית וב- Unix (. ניהול מערכת הקבצים ב- Unix )כולל: קודקודי הציוד, קישור רך\קשה( טיפול בקבצים ובמדריכים ב- Unix open(), creat(), read(), write(), : umask(), access(), chmod(), stat(), בפרט לשם נעילת קבצים ולטיפול בדגלי הסטאטוס, lseek(), fcntl() rename(), unlink(), opendir(), readdir(), mkdir() קבצים ממופים לזיכרון:.mmap() הכרות עם תכנות בשל programming( )shell באמצעות שפת.Python שיטות להתמודדות עם חסימות הדדיות )אלג' הבנקאים, איתור והיחלצות מחסימות הדדיות בדיעבד( תזמון המעבד בתיאוריה וב-.Linux היכרות עם תכנת.cygwin אלגוריתמים תרגול: קוד הקורס: נקודות זכות שנה ב' סמסטר ב' אלגברה ליניארית א' + ב', מתמטיקה דיסקרטית, מבוא לתיאוריה של מדעי המחשב, מבנים אלגבריים, מבני נתונים ד"ר ערן לונדון, ד"ר הדסה יעקובוביץ', אפי נפתלי איילת מזרחי, צחי עג'מי, יהודה קרלינסקי נעסוק בבעיות מעשיות רבות מכל תחומי מדעי המחשב ונגלה כיצד ניגשים אליהן ואיך פותרים. תחומי העיסוק הם רחבים ביותר. הפתרונות נשענים על כל תחומי המתמטיקה והתיאוריה שנלמדו בקורסים הקודמים. בין הבעיות שבהן נעסוק ניתן להזכיר את הבאות: מהו אלגוריתם? מהם המשאבים והמחירים )זמן, מקום(? למה מתכוונים כשאומרים "הפרד ומשול"? איך פותרים בעיה על-ידי פרוקה לבעיות "קטנות יותר"? כיצד מזהים בזריזות מילה קצרה בתוך קובץ ענק? )התמרת Fourier מהירה ושימושיה(. באלו פסלים יבחר עלי-בבא כאשר יפרוץ למוזיאון? )תכנון דינמי, בעיית תרמיל הגב(. האם ומתי כדאי להיות חמדן? איך מנתבים משאיות ברשת כבישים, ואיך זה מתקשר לבעיית החתונה ולפתרון סודוקו? )זרימות בגרפים(. איך מתבצעת הצפנה מודרנית? מדוע אנחנו מסכימים למסור את פרטי כרטיס האקראי שלנו דרך רשת האינטרנט הגלויה לכל, ומדוע הקדמונים לא הסכימו )שיטת,RSA שיטת רבין(. במה עדיף המהמר על האיש ה"בטוח"? איך עוזרת אקראיות לפתרון בעיות קשות? 25

26 נקודות זכות קוד הקורס: חדו"א: עקומות ומשטחים תרגול: אלגברה ליניארית א' + ב', חדו"א: שימושים של האינטגרל וחישובים מקורבים ד"ר לור ברתל, ד"ר מלכה רוזנטל, משה פרץ רונית כץ, איילת אמסלם, כנ"ל שנה ב' סמסטר ב' בקורס זה נלמד כיצד ניתן להשתמש ברעיונות של האנליזה כדי לחקור עקומות ומשטחים המוגדרים בצורה פרמטרית או בעזרת משוואות. נעשה שימוש רב בתוכנות גרפיות כדי להדגים את המושגים. הנושאים הנלמדים: פונקציות וקטוריות: פרמטריזציה חלקה, וקטור משיק, וקטור נורמל, וקטור בינורמל, החלפת פרמטר, אורך קשת, עקמומיות. פונקציות של כמה משתנים: גבולות ורציפות, נגזרות חלקיות, נגזרות כיווניות, דיפרנציאביליות, כלל השרשרת, גרדיאנט, נקודות קיצון, כופלי לגרנג'. עקומות ומשטחים: הגדרה לפי פרמטריזציה או לפי משוואה, חישוב הישר או המישור המשיק. אינטגרגים כפולים: חישובים, משפט פוביני, החלפת משתנה )בעיקר לקואורדינטות קוטביות(. תורת ההסתברות קוד הקורס: כלים מתמטיים למדעי המחשב, חדו"א: שימושים של האינטגרל וחישובים מקורבים, חדו"א: עקומות ומשטחים )ניתן ללמוד במקביל(, מתמטיקה דיסקרטית. נקודות זכות שנה ב' סמסטר ב' ד"ר איילת גולדשטיין, ד"ר איילת גולדשטיין, עודד גוטמן שעות שבועיות בשנים האחרונות הבנת חוקי תורת ההסתברות הפכה להיות חיונית לפיתוח אלגוריתמים מהירים ויעילים. אלגוריתמים הסתברותיים, כלומר אלגוריתמים שעושים בחירות אקראיות במהלך הריצה שלהם מוכיחים את עצמם כדרך יעלה לפתרון בעיות, אשר אחרת לא היו ניתנות לפתרון בזמן סביר. בקורס זה נדון ביסודות תורת ההסתברות ונלמד לבצע חישובים והערכות בתנאי אי וודאות. הנושאים שילמדו: חזרה על הסתברות בדידה: מרחב ההסתברות. הסתברות מותנה. נוסחת.Bayes אי-תלות. משפחה של מאורעות בלתי תלויים. פונקצית ההסתברות של משתנה מקרי, פונקצית ההתפלגות המצטברת. תוחלת ושונות של משתנה מקרי. תכונות מתמטיות. תוחלת של פונקציה של משתנה מקרי. התפלגויות בדידות מיוחדות: משתנה מקרי ברנולי, בינומי, גיאומטרי, אחיד בדיד, היפרגיאומטרי, ופואסוני. משתנה מקרי רציף: פונקצית הצפיפות של משתנה מקרי רציף. פונקצית ההתפלגות המצטברת. תוחלת ושונות. התפלגויות מיוחדות: אחידה רציפה, מעריכית, ונורמאלית. משתנה מקרי דו-מימדי בדיד ורציף: פונקצית ההסתברות המשותפת של זוג משתנים מקריים, התפלגות שולית, התפלגות מותנה. תוחלת מותנה כמשתנה מקרי. משפט התוחלת השלמה ויישומיו. התפלגות של פונקציות של משתנים מקריים: התפלגות של סכום. אי-שיוויונים בהסתברות. תוחלת ושונות של סכום. משתנים מקריים בלתי תלויים ובלתי מתואמים. משפט הגבול המרכזי. נושאים מתקדמים: אנטרופיה של משתנה מקרי. תהליכים סטוכסטיים. שרשראות מרקוב ויישומיהם במדעי המחשב. קוד הקורס: נקודות זכות כתיבה והצגה מדעית קבוצה 2 שנה ב' סמסטר ב' אין הדרכה: רועי זאבי כתיבה טכנית ומדעית הפכה להיות חלק בלתי נפרד מהעולם המקצועי של מדעי המחשב. מטרת הקורס היא לפתח מיומנויות כתיבה והצגה הנדרשות הן במהלך התואר והן בחיים המקצועיים לאחר סיום הלימודים. הקורס יתמקד בנושאים הבאים: קריאת מאמרים מתחום מדעי המחשב, אפיון הכתיבה המדעית, התמודדות עם קריאת מאמר והפיכת הקריאה ללימוד אקטיבי. מבנה המאמר המדעי, עקרונות הסיכום וההתנסות האקדמיים. חיפוש מושכל במאגרי מידע ומנועי חיפוש. בניית מצגות. במהלך הקורס נתרגל את המיומנויות השונות באמצעות כתיבת דוחות, בחירת מאמר והצגתו בפני הכיתה. 26

27 שנה ג' לימודי חובה תכנות אינטרנט ושפת PHP מבוא לתכנות מונחה עצמים והנדסת תכנה, תכנות מונחה עצמים ופיתוח משחקים קוד הקורס: ד"ר סולנג' קרסנטי, ד"ר סולנג' קרסנטי, עמיאל ליבר נקודות זכות שנה ג' סמסטר א' שעות שבועיות תכנות עבור האינטרנט נלמד בשני קורסים: קורס זה מתמקד בצד הלקוח, כלומר בבניית אתרים המאפשרים חוויה אינטראקטיבית מתקדמת. לשם בניית אתר שכזה נדרשת : יכולת לעצב אתר בצורה מודרנית, ידע בשפות תכנות שונות כגון Javascript, HTML, ידע בתקשורת, ידע בניהול מסד נתונים עבור שרת Web רב לקוחות, וידע בספריות השייכות לחברות המובילות )כגון Twitter( הקורס מקנה ידע בטכנולוגיות תכנות המשולבות באתרים מתקדמים, ובדרכים לבניה והקמה של אתר עם דגש על תקינות, אינטראקציה,שימושיות ונגישות של האתרים. הקורס מבוסס על שפת התכנות Phpהמיועדת לתכנות בצד השרת. בנוסף נלמד לפתח לפי תבנית Model-View-Controller ע י שימוש במערכת פיתוח.)framework( בנוסף הקורס מציג את הצעדים הנדרשים להקמה והפצת אתר, ולקידום אתרים. תקשורת מחשבים תכנות מערכת ומבוא לתכנות מקבילי, קוד הקורס: מערכות הפעלה ותכנות בשפות סקריפטים נקודות זכות שנה ג' סמסטר א' שעות שבועיות ד"ר ניסים הראל, אביגיל גרטי, ד"ר ניסים הראל השימוש באינטרנט הוא חלק יום-יומי מחיינו, ותכנות בסביבת תקשורת היא מיומנות בסיסית בפיתוח מערכות תוכנה. השימוש הנכון בתשתית הרשת הוא גורם חשוב ביצירת חוויה מוצלחת. בקורס הזה נכיר את עיקרי תקשורת מחשבים והשילוב הקיים בין מערכות להעברת נתונים, שיחות קול, ומולטימדיה. הנושאים הנלמדים: מושגי יסוד בתקשורת ומודלים לרשת פתוחה, יישומי תקשורת, ניהול קשר רציף בהעברת מידע, תקשורת בין תכניות שונות, בקרת אמינות ואיכות קצה-לקצה, ניתוב הודעות ברשתות הטרוגניות, רשתות מקומיות, תקשורת קווית ואלחוטית בשכבה הפיסית. בכל פרק נדגיש את השיטות והפרוטוקולים המעשיים בתקשורת אינטרנט וברשתות מקומיות. ארכיטקטורות מחשבים מערכות חומרה ותכנה ותכנות בשפת סף קוד הקורס: שנה ג' סמסטר ב' ד"ר מרטין לנד, ד"ר שמחה רוזן, ד"ר מרטין לנד ארכיטקטורה היא התחום במדעי המחשב שמספק את הפלטפורמה למימוש המעשי של החידושים בתכנות ובאלגוריתמים. הגידול העצום במספר שורות הקוד במערכות התכנה המורכבות הקיימות כיום מתאפשר רק תודות לגידול מקביל בקצב החומרה. בקורס זה נכיר את שיטות העבודה בארכיטקטורה ונלמד את עיקרי הטכנולוגיות הקיימות במחשבים מודרניים. הנושאים הנלמדים: רענון ארגון המחשב, הגדרת קבוצת פקודות set(,)architecture instruction מדידות ו- CISC תורת הביצועים וניתוח כמותי של שיטות למימוש פקודות במיקרו-מעבד, המעבר משיטות,benchmarks לשיטות,RISC חפיפת פקודות )pipelining( וניתוח מעצורים, חשבון מחשב ותכנון,ALU שיטות לניהול זיכרון ושיטות,cache תקשורת פנימית בלוח הראשי,(motherboard) מערכות,superscalar מעבדים מרובי ליבות, מחשב ה- PC בימינו כמימוש הישגי ארכיטקטורה. 27

28 אוטומטים ושפות פורמאליות קוד הקורס: מתמטיקה דיסקרטית, מבוא לתיאוריה של מדעי המחשב, מבני נתונים ד"ר פרג' שיבאן, ד"ר אסתר דוד, ד"ר פרג' שיבאן שנה ג' סמסטר א ' שפה פורמאלית היא אוסף מילים המקיימות תכונה מסוימת, ו/או בעלות מבנה מסוים, למשל המספרים הראשוניים, או מילים באורך זוגי עם אות זהה בהתחלה ובסוף, וכדומה. כמעט לכל בעיה )מתמטית( ניתן לבנות שפה, כך שפתרון הבעיה שקול להכרעה אם מילה נתונה נמצאת או לא נמצאת בשפה. נדון בעצמת הקושי להחליט מי נמצא בשפה )ולכן בעצמת הקושי של הבעיה שהיא מבטאת( ע"י ניתוח המורכבות של האוטומט )ה"מחשב"( הנדרש לצורך ביצוע ההחלטה. נתחיל בשפות הפשוטות הנקראות "רגולריות", להן נדרש מחשבון פשוט הנקרא "אוטומט סופי דטרמיניסטי". נאפיין שפות אלו גם ע"י ביטויים מתמטיים הנקראים ביטויים רגולריים", וגם ע"י תנאי מבנה הנובעים מ"משפט,"Nerode שממנו גם נלמד לבנות את האוטומט הקטן יותר שניתן לבנות. נכיר תכונות מבנה רבות של שפות אלו, ונדון בבעיות הכרעה שונות על המבנה שלהן. בעזרת "למת הניפוח" נלמד איך להוכיח ששפה היא מורכבת יותר משפה רגולרית. נראה שהכנסת אקראיות לפעולת האוטומט לא עוזרת. נכיר "תהליך דקדוקי" בונה מילים שמאפשר בניית שפות מורכבות יותר הנקראות "חופשיות הקשר", )רוב שפות התכנות הן כאלה(. נאפיין שפות אלה גם בעזרת "אוטומט המחסנית" המורכב יותר. נוכיח את "למת הניפוח" ו"למת אוגדן" המאפשרות להראות שיש שפות עוד יותר מורכבות. נכיר את "ההיררכיה של חומסקי" המסווגת את כלל השפות לפי סיבוך התהליך הדקדוקי הנדרש ליצירתן. לוגיקה למדעי המחשב קוד הקורס: מתמטיקה דיסקרטית, מבוא לתיאוריה של מדעי המחשב ד"ר גילי שול, ד"ר גילי שול, ד"ר יאן ספולקרה שנה ג' סמסטר א ' מהי "הוכחה" במתמטיקה? מתי נאמר על טענה מתמטית שהיא "נכונה"? האם כל טענה נכונה ניתן להוכיח? והאם מה שניתן להוכיח, הוא בהכרח נכון? בקורס זה נרד ליסודות המתמטיקה, נגדיר את מושגים הבסיסיים ביותר כמו "הוכחה" ו"נכונות", ונבין את הקשר בין השניים. נתחיל בשפה מתמטית פשוטה מאד )תחשיב הפסוקים(, נלמד לנסח בה טענות מתמטיות תוך שימוש ב"קשרים" המחברים טענות בסיסיות למורכבות יותר. נראה דרך לכתיבה אחידה של נוסחות )צורה נורמלית(, מה שמקל על הטיפול בהן. נדון בקבוצות שונות של קשרים, ומתי קבוצה כזו מאפשרת ליצור את כל הטענות האפשריות )"קבוצה שלמה" ו"קבוצה מצומצמת" של קשרים(. נגדיר מהי "נכונות" )השמות וערכי אמת( ומהי "הוכחה", נכיר כלי עזר ליצירת הוכחות )משפט ההיסק, והוכחה מהנחות(. נוכיח שכל מה שהוכח אכן "נכון" )משפט הנאותות(, ושכל מה שנכון אכן ניתן להוכחה )משפט השלמות(. נוכיח את משפט הקומפקטיות שאומר שאם טענה נובעת מקבוצה אינסופית של הנחות, היא נובעת כבר מתת קבוצה סופית של ההנחות. נבין שאין כרגע דרך מעשית להכריע עבור כל נוסחה אם היא נכונה, ונכיר תת משפחה של נוסחאות )בצורת )Horn עבורן זה כן אפשרי. שפת "תחשיב היחסים" מאפשרת ניסוח טענות מתמטיות מרוכבות הרבה יותר, נעבור את כל התהליך גם עם שפה זו, נדבר על נכונות מול הוכחה, משפט הנאותות ומשפט השלמות )ללא הוכחה(, וגם משפט הקומפקטיות. נכיר את אקסיומות פיאנו והמודל הסטנדרטי של המספרים הטבעיים, ואת משפטי אי השלמות העמוקים של גדל )ללא הוכחה( שאומרים שבמערכת הנ"ל של הטבעיים תמיד יהיה משהו שלא הוא ולא שלילתו ניתנים להוכחה, ושלא ניתן לצפות שהמערכת תוכיח שמה שהוכחנו בה אכן נכון! בהמשך נדבר על שפות עוד יותר מורכבות המאפשרות נכונות יחסית לזמן )לוגיקה טמפורלית(, ועל שפות המרחיבות את המושג נכון/לא נכון, ומאפשרות גם משהו באמצע. תכנות אינטרנט ושפת Java קוד הקורס: מבוא לתכנות מונחה עצמים והנדסת תכנה, תכנות מונחה עצמים ופיתוח משחקים, תכנות אינטרנט ושפת PHP ד"ר סולנג' קרסנטי, ד"ר סולנג' קרסנטי, עמיאל ליבר נקודות זכות שנה ג' סמסטר ב' שעות שבועיות תכנות עבור האינטרנט נלמד בשני קורסים: קורס זה מתמקד בצד השרת של בנית אתרים, כלומר בבניית רכיבים הקשורים לניהול מסדי נתונים ותקשורת בין לקוחות. הקורס מפרט את עקרונות התכנות בשפת Java ובטכנולוגיות מתקדמות לבניית אתרים דינמיים ותכנות ברשת. שילוב של טכנולוגיות מביא לעיצוב ובניית אתרים המנהלים מסדי נתונים על-ידי שרתים מרובי משתמשים, וייצור דפים כתוצאה משאילתות ואינטראקציה עם המשתמש. הקורס מסתיים בבניית אתר מתקדם המשלב את הטכנולוגיות הנלמדות.. 28

29 הקורס מקנה גם ידע בבנית אתרים ע"י מערכות של Google ו-.Facebook הסטודנטים ישלבו את כל נושאי הקורס בבנית אפליקציה עבור אתר.Facebook נושאים שילמדו: מבנה דפים API).Javascript.)DOM, DOM תקשורת ע י.XmlHttpRequest object טכנולוגיות בצד הלקוח:.Prototype, Jquery, MooTools טכנולוגיות בצד השרת MySql).)Php, טכנולוגיות משולבות כגון:.Google Web Toolkit פיתוח אפליקציות עבור.Facebook אבטחה ויעילות עם.Ajax הקמת אתר )בחירת ורכישת Web hosting ושם אתר(. מערכות.CMS קידום אתרים מסדי נתונים קוד הקורס: נקודות זכות מתמטיקה דיסקרטית, מבוא לתיאוריה של מדעי המחשב שנה ג' סמסטר ב ' ד"ר שמחה רוזן, ד"ר שמחה רוזן, ד"ר יורם ביברמן שעות שבועיות מערכות תכנה גדולות מטפלות בכמות עצומה של נתונים. על המערכות להיות מסוגלות לפנות לנתונים ביעילות ובמהירות, שכן אחרת זמן התגובה שלהן יהיה בלתי סביר. קורס זה מציג את המודלים התיאורטיים לטיפול בכמות גדולה של נתונים, ואת יישומיהם המעשיים. לדוגמה: כיצד ניתן לבקש ממערכת המחשב לשלוף את כל הנתונים בעלי אפיון כזה או אחר? ומה צריכה המערכת לעשות על-מנת שהנתונים יישלפו במהירות? כיצד נדאג שאם רק כרטיס אחד נותר בטיסה כלשהי הוא לא יימכר, חלילה, באותו זמן בדיוק לשני לקוחות שונים ע"י שני סוכני נסיעות? כיצד נדאג שגם אם המחשב ייפול הרף עין אחרי שהלקוח משך כסף מהמכשיר האוטומאטי חשבונו יחויב בשיעור המשיכה? הנושאים הנלמדים: מבוא למסדי נתונים. מודל היחסים. אלגברה של יחסים. תחשיב יחסים לפי שורות..SQL אילוצי תקינות ותיכון מסדי נתונים )מפתחות, תלויות פונקציונאליות, צורות נורמאליות(. מודל ישויות-קשרים. ניהול תנועות, בקרת מקביליות )שקילות בקונפליקט ושקילות במבט, שווה סדרתיות, פרוטוקולים המבטיחים שווה- סדרתיות נעילה דו-שלבית, פרוטוקולים ללא נעילות(. הכרות עם מערכת ניהול מסד נתונים PostgreSql או.MySQL חישוביות ומורכבות החישובים אלגוריתמים, לוגיקה למדעי המחשב, אוטומטים ושפות פורמאליות קוד הקורס: ד"ר פרג' שיבאן, ד"ר אסתר דוד, ד"ר פרג' שיבאן שנה ג' סמסטר ב' גם אם יש לך כל הזמן שבעולם, לא כל דבר ניתן לביצוע! בקורס זה נוכיח למשל שבשום אופן לא ניתן לכתוב תוכנית מחשב שמבצעת את הדבר הבא: נותנים לה תוכנית מחשב A וקלט X עבור A, ועל התוכנית שלנו לומר אם ל- A המופעלת על הקלט X יש "באג". נתחיל עם המודל הפשוט של "מכונת המונים". נופתע לגלות שאם משהו ניתן לחישוב )אפשרי לעשותו(, אז אפשר לבצעו כבר ע"י מכונה שיודעת רק להוסיף או להוריד אחד ולעשות קפיצה מותנית )עבור למקום אחר בתוכנית, אם ערך מסוים שונה מאפס(. תוך קידוד של תוכניות חישוב ע"י מספרים טבעיים )מספרי גדל(, נגלה שיש דברים רבים שאין שום דרך לבצעם )לא רקורסיביים(, ושיש דברים שניתנים לביצוע רק למחצה )נל"ר(. נדון ב"בעיית העצירה", במניה של קבוצות הנל"ר, קיום נל"ר שאיננה רקורסיבית, משפט הפרמטר ומשפט רייס, ובתוצאות המקסימות של משפטים אלו. "מכונת טיורינג" היא המחשב התיאורטי שהגה אלן טיורינג )משוברי צופן האניגמה הגרמני( הרבה לפני שמישהו ראה מחשב בעולם. נוכיח שמה שניתן בכלל להיעשות, ניתן להיעשות במכונת טיורינג. נדון בשאלות: מה ניתן להיעשות בזמן מעשי, ולא רק באופן תיאורטי? והאם הכנסת אקראיות לעבודת מכונת טיורינג יכולה לעזור? לצערנו לשאלות אלו אין כרגע תשובה, וכנראה לא תהיה אף פעם. נדון במושגים: NP,Co-NP,NP P, שלמות, ונבין את משפט קוק. מסתבר שיש אלפי בעיות תמימות למראה שאילו היינו יודעים לעשות אפילו אחת מהן בזמן מעשי, היינו יכולים לעשות את כולן בזמן מעשי, בעיות אלו נקראות " NP -שלמות". לדוגמא: נתונים n מספרים x1, x2,, xn האם ניתן לחלקם לשתי קבוצות שסכומן שווה? נוכיח על בעיות רבות שהן כאלה, ונכיר "אלגוריתמי קירוב", כלומר דרכים לפתור אותן בכל זאת בזמן מעשי לפחות בחלק מהמקרים. 29